Using Isabelle/HOL to Verify First-Order Relativity Theory
نویسندگان
چکیده
منابع مشابه
First order hyperbolic formalism for Numerical Relativity
The causal structure of Einstein’s evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution equations, that can lead to numerical inaccuracies, can be eliminated by using the Hamiltonian constraint. Furthermore, we show that the entire system is hyper...
متن کاملFirst-order Logic Foundation of Relativity Theories
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity— including such revolutionary areas as black hole physics, relativistic computers, new cosmology—are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we pres...
متن کاملAnalysis of Bending and Buckling of Circular Porous Plate Using First-Order Shear Deformation Theory
Porous materials are lightweight, flexible and resistant to hairline cracks, so today with the development of technology porous structure produced for use in various industries. This structure widely use in beams, plates and shells. The purpose of this paper is to investigate the effect of porosity in axial symmetry in bending and buckling load sheet for analysis. For this purpose, a circular p...
متن کاملThermoelastic Analysis of a Functionally Graded Simple Blade Using First-Order Shear Deformation Theory
In this article, the thermo-elastic behavior of a functionally graded simple blade subjected to the mechanical and thermal loadings is presented, applying a semi-analytical method and a variable thickness cantilever beam model. A specific temperature gradient is employed between the root and the edges of the beam. It is assumed that the mechanical and thermal properties are longitudinal directi...
متن کاملFirst Order Theory Re
This paper summarizes the current state of the art in the topics of rst-order theory revision and theory restructuring. The various tasks involved in rst-order theory reenement (revision vs. restructuring) are deened and then discussed in turn. For theory revision, the issue of minimality is discussed in detail, and a general outline algorithm is given which identiies the major places of diiere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2013
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-013-9292-7